COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "ltr" source_file
C00006 00003	.begin "refs"
C00010 ENDMK
C⊗;
.require "ltr" source_file;
.font A "ngr20"

.ltr("Director, Advanced Research Projects Agency",30 July 1974)
Department of Defense
Washington, D. C.

.begin "barf"
.at "<" ⊂"%3"⊃; at ">" ⊂"%1"⊃;
.turn on "→\"
.tabs 4,42,46
<SUBJECT:>  Quarterly Management Report
→%AForm approved, Budget
→Bureau No. 22-RO293.%*

<ARPA Order Number:> 2494\<Contract Number:> DAHC15 73C 0435

<Program Code Number:> 3D30\<Principal Investigator:> Prof. John McCarthy
\\\415-497-4430

<Name of Contractor:>  Board of Trustees of\<Executive Officer:> Lester Earnest
\the Leland Stanford Junior University \\415-497-4202

<Effective Date of Contract:> 15 June 1973\<Short Title of Work:> Artificial Intelligence,
\\\Heuristic Programming, and
<Contract Expiration Date:> 30 June 1975\\Network Protocols Projects

<Amount of Contract:>  $3,000,000
.end "barf"

.macro lb(nam) ⊂ if lines<5 then next page else skip; once select 3
nam

.⊃

Dear Sir:

.fac
Cerf and the Network Protocols Project staff have published a number of articles
recently [1-5].  Winograd has written a popular account of natural language
understanding [7] and a technical article [8].  A paper appeared on picture
processing by computer [6], which was mostly supported by NASA.

Three staff members recently published Ph.D. dissertations on interactive
programming [9], shape grammars [10], and natural language understanding [12].
Additional reports have appeared on an interactive 3D geometric editor [11]
and a proof checker for first-order logic [13].

.lb Research Program and Plan

No changes.

.skip to column 1
.lb Major Accomplishments

Nothing new.

.lb Problems Encountered

Nothing new.

.lb Fiscal Status

.begin turn on "→"
Amount currently funded:→$2,248,000

Estimated expenditures and commitments (through 30 June 1973): →$1,558,342

Estimated funds required (through 30 June 1975): →$3,000,000

.end

.lb Action Required by the Government

None.

.lb Future Plans

No change.

.lde
.skip 2

.GROUP begin
.nofill turn on "\"
.tabs 5,40
cc:\addressee - 2 copies\J. McCarthy
\A. Blue, ARPA\V. Cerf
\S. Crocker, ARPA\E. Feigenbaum
\J. Ducey, ONR, Stanford\R. Floyd
\J. C. R. Licklider, ARPA\J. Jobe
.END APART
.begin "refs"
.if lines<10 then next page else skip;
.cb REFERENCES

.INDENT 0,3; NOJUST; TURN ON "%";
.AT """" ⊂ (IF THISFONT=1 THEN "%3" ELSE "%1") ⊃
.AT "<" ⊂ "%2" ⊃;  AT ">" ⊂ "%1" ⊃;

.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT PAGE; NEXT EXREF; (EXREF&".  ") ⊃

⊗Cerf, Vinton G., R. E. Kahn, "A Protocol for Inter-network
Communications", <IEEE Trans. Communications>, May 1974.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "Networks and
Generalized Moore Graphs", <Proc. Manitoba Conf. on Numerical Math.,
1973>, (to appear).

⊗Cerf, V. G., D. Cowan, R. C. Mullin, R. G. Stanton, "Topological Design
Considerations in Computer-Communication Networks", in R. L. Grimsdale,
F. F. Kuo (eds.), <Computer Communication
Networks>, Academic Book Services Holland, Netherlands, 1974.

⊗Cerf, V., C. Sunshine, "Protocols and Gateways for Interconnection of
Packet Switching Networks", <Proc. 7th Hawaii International Conf. on
System Sciences>, Western Periodicals Co., Hawaii, 1974.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "A Partial
Census of Generalized Moore Graphs", <Proc. Australian National
Combinitorics Conference>, May 1974 (to appear).

⊗Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross,
"Variable Features on Mars III:  Comparison of Mariner 1969 and Mariner 1971
Photography", <Icarus>, 21, 317-368, 1974.

⊗Winograd, Terry, "Computers and Language", <Psychology Today>, May 1974.

⊗Winograd, Terry, "Parsing Natural Language via Recursive Transition Net",
in Yeh (ed.) <Applied Computation Theory>, Prentice-Hall, 1974.

⊗Daniel C. Swinehart,
"COPILOT:  A Multiple Process Approach to Interactive Programming Systems"
<Thesis:  Ph.D. in Computer Science>, Memo AIM-230,
May 1974.

⊗James Gips,
"Shape Grammars and their Uses",
<Thesis:  Ph.D. in Computer Science>,
Memo AIM-231, May 1974.

⊗Bruce G. Baumgart,
"GEOMED - A Geometric Editor",
Memo AIM-232, May 1974.

⊗Charles J. Rieger, III,
"Conceptual Memory:  A Theory and Computer Program for Processing the
  Meaning Content of Natural Language Utterances",
<Thesis:  Ph.D. in Computer Science>,
Memo AIM-233, June 1974.

⊗Richard  W. Weyhrauch, Arthur J. Thomas,
"FOL:  A Proof Checker for First-order Logic",
Memo AIM-235, June 1974.

.end "refs"